Roots presents articles on major discoveries that laid the basis for contemporary molecular and cellular biology. In this article, Norton D. Zinder reviews the first findings about the single‐stranded DNA‐containing bacteriophages and what is known today about the genetics and molecular biology of these phages.

The inaugural title in the new, Open Access series BSPS Open, The Material Theory of Induction will initiate a new tradition in the analysis of inductive inference. The fundamental burden of a theory of inductive inference is to determine which are the good inductive inferences or relations of inductive support and why it is that they are so. The traditional approach is modeled on that taken in accounts of deductive inference. It seeks universally applicable schemas or rules or a single (...) formal device, such as the probability calculus. After millennia of halting efforts, none of these approaches has been unequivocally successful and debates between approaches persist. The Material Theory of Induction identifies the source of these enduring problems in the assumption taken at the outset: that inductive inference can be accommodated by a single formal account with universal applicability. Instead, it argues that that there is no single, universally applicable formal account. Rather, each domain has an inductive logic native to it. Which that is, and its extent, is determined by the facts prevailing in that domain. Paying close attention to how inductive inference is conducted in science and copiously illustrated with real-world examples, The Material Theory of Induction will initiate a new tradition in the analysis of inductive inference. (shrink)

An infinite lottery machine is used as a foil for testing the reach of inductive inference, since inferences concerning it require novel extensions of probability. Its use is defensible if there is some sense in which the lottery is physically possible, even if exotic physics is needed. I argue that exotic physics is needed and describe several proposals that fail and at least one that succeeds well enough.

It is proposed that we use the term “approximation” for inexact description of a target system and “idealization” for another system whose properties also provide an inexact description of the target system. Since systems generated by a limiting process can often have quite unexpected, even inconsistent properties, familiar limit systems used in statistical physics can fail to provide idealizations, but are merely approximations. A dominance argument suggests that the limiting idealizations of statistical physics should be demoted to approximations.

Thought experiments in science are merely picturesque argumentation. I support this view in various ways, including the claim that it follows from the fact that thought experiments can err but can still be used reliably. The view is defended against alternatives proposed by my cosymposiasts.

Canadian Journal of Philosophy, 26, pp. 333-66. 1996.

I deny that the world is fundamentally causal, deriving the skepticism on non-Humean grounds from our enduring failures to find a contingent, universal principle of causality that holds true of our science. I explain the prevalence and fertility of causal notions in science by arguing that a causal character for many sciences can be recovered, when they are restricted to appropriately hospitable domains. There they conform to a loose collection of causal notions that form a folk science of causation. This (...) recovery of causation exploits the same generative power of reduction relations that allows us to recover gravity as a force from Einstein's general relativity and heat as a conserved fluid, the caloric, from modern thermal physics, when each theory is restricted to appropriate domains. Causes are real in science to the same degree as caloric and gravitational forces. (shrink)

Contrary to formal theories of induction, I argue that there are no universal inductive inference schemas. The inductive inferences of science are grounded in matters of fact that hold only in particular domains, so that all inductive inference is local. Some are so localized as to defy familiar characterization. Since inductive inference schemas are underwritten by facts, we can assess and control the inductive risk taken in an induction by investigating the warrant for its underwriting facts. In learning more facts, (...) we extend our inductive reach by supplying more localized inductive inference schemes. Since a material theory no longer separates the factual and schematic parts of an induction, it proves not to be vulnerable to Hume's problem of the justification of induction. (shrink)

How can we reconcile two claims that are now both widely accepted: Kretschmann's claim that a requirement of general covariance is physically vacuous and the standard view that the general covariance of general relativity expresses the physically important diffeomorphism gauge freedom of general relativity? I urge that both claims can be held without contradiction if we attend to the context in which each is made.

What is possible, according to the empiricist conception, is what our evidence positively allows; and what is necessary is what it compels. These notions, along with logical possibility, are the only defensible notions of possibility and necessity. In so far as nomic and metaphysical possibilities are defensible, they fall within empirical possibility. These empirical conceptions are incompatible with traditional possible world semantics. Empirically necessary propositions cannot be defined as those true in all possible worlds. There can be empirical possibilities without (...) empirical necessities. The duality of possibility and necessity can be degenerate and can even be falsified. (shrink)

Bayesian probabilistic explication of inductive inference conflates neutrality of supporting evidence for some hypothesis H (“not supporting H”) with disfavoring evidence (“supporting not-H”). This expressive inadequacy leads to spurious results that are artifacts of a poor choice of inductive logic. I illustrate how such artifacts have arisen in simple inductive inferences in cosmology. In the inductive disjunctive fallacy, neutral support for many possibilities is spuriously converted into strong support for their disjunction. The Bayesian “doomsday argument” is shown to rely entirely (...) on a similar artifact, for the result disappears in a reanalysis that employs fragments of inductive logic able to represent evidential neutrality. Finally, the mere supposition of a multiverse is not yet enough to warrant the introduction of probabilities without some factual analog of a randomizer over the multiverses. (shrink)

I give an informal outline of the hole argument which shows that spacetime substantivalism leads to an undesirable indeterminism in a broad class of spacetime theories. This form of the argument depends on the selection of differentiable manifolds within a spacetime theory as representing spacetime. I consider the conditions under which the argument can be extended to address versions of spacetime substantivalism which select these differentiable manifolds plus some further structure to represent spacetime. Finally, I respond to the criticisms of (...) Tim Maudlin and Jeremy Butterfield. (shrink)

Thought experiments are ordinary argumentation disguised in a vivid pictorial or narrative form. This account of their nature will allow me to show that empiricism has nothing to fear from thought experiments. They perform no epistemic magic. In so far as they tell us about the world, thought experiments draw upon what we already know of it, either explicitly or tacitly; they then transform that knowledge by disguised argumentation. They can do nothing more epistemically than can argumentation. I defend my (...) account of thought experiments in Section 3 by urging that the epistemic reach of thought experiments turns out to coincide with that of argumentation and that this coincidence is best explained by the simple view that thought experiments just are arguments. Thought experiments can err—-a fact to be displayed by the thought experiment - anti thought experiment pairs of Section 2. Nonetheless thought experiments can be used reliably and, I urge in Section 4., this is only possible if they are governed by some very generalized logic. I will suggest on evolutionary considerations that their logics are most likely the familiar logics of induction and deduction, recovering the view that thought experiment is argumentation. Finally in Section 5 I defend this argument based epistemology of thought experiments against competing accounts. I suggest that these other accounts can offer a viable epistemology only insofar as they already incorporate the notion that thought experimentation is governed by a logic, possibly of very generalized form. (shrink)

The epistemic state of complete ignorance is not a probability distribution. In it, we assign the same, unique, ignorance degree of belief to any contingent outcome and each of its contingent, disjunctive parts. That this is the appropriate way to represent complete ignorance is established by two instruments, each individually strong enough to identify this state. They are the principle of indifference (PI) and the notion that ignorance is invariant under certain redescriptions of the outcome space, here developed into the (...) ‘principle of invariance of ignorance' (PII). Both instruments are so innocuous as almost to be platitudes. Yet the literature in probabilistic epistemology has misdiagnosed them as paradoxical or defective since they generate inconsistencies when conjoined with the assumption that an epistemic state must be a probability distribution. To underscore the need to drop this assumption, I express PII in its most defensible form as relating symmetric descriptions and show that paradoxes still arise if we assume the ignorance state to be a probability distribution. *Received February 2007; revised July 2007. †To contact the author, please write to: Department of History and Philosophy of Science, University of Pittsburgh, Pittsburgh, PA 15260; e-mail: [email protected]. (shrink)

In the sixth section of his light quantum paper of 1905, Einstein presented the miraculous argument, as I shall call it. Pointing out an analogy with ideal gases and dilute solutions, he showed that the macroscopic, thermodynamic properties of high frequency heat radiation carry a distinctive signature of finitely many, spatially localized, independent components and so inferred that it consists of quanta. I describe how Einstein’s other statistical papers of 1905 had already developed and exploited the idea that the ideal (...) gas law is another macroscopic signature of finitely many, spatially localized, independent components and that these papers in turn drew on his first two, “worthless” papers of 1901 and 1902 on intermolecular forces. However, while the ideal gas law was a secure signature of independence, it was harder to use as an indicator that there are finitely many components and that they are spatially localized. Further, since his analysis of the ideal gas law depended on the assumption that the number of components was fixed, its use was precluded for heat radiation, whose component quanta vary in number in most processes. So Einstein needed and found another, more powerful signature of discreteness applicable to heat radiation and which indicated all these properties. It used one of the few processes, volume fluctuation, in which heat radiation does not alter the number of quanta. (shrink)

iinstein oered the prin™iple of gener—l ™ov—ri—n™e —s the fund—ment—l physi™—l prin™iple of his gener—l theory of rel—tivityD —nd —s responsi˜le for extending the prin™iple of rel—tivity to —™™eler—ted motionF „his view w—s disputed —lmost immedi—tely with the ™ounterE™l—im th—t the prin™iple w—s no rel—tivity prin™iple —nd w—s physi™—lly v—™uousF „he dis—greeE ment persists tod—yF „his —rti™le reviews the development of iinstein9s thought on gener—l ™ov—ri—n™eD its rel—tion to the found—tions of gener—l rel—tivity —nd the evolution of the ™ontinuing de˜—te (...) over his viewpointF.. (shrink)

Newton’s equations of motion tell us that a mass at rest at the apex of a dome with the shape specified here can spontaneously move. It has been suggested that this indeterminism should be discounted since it draws on an incomplete rendering of Newtonian physics, or it is “unphysical,” or it employs illicit idealizations. I analyze and reject each of these reasons. †To contact the author, please write to: Department of History and Philosophy of Science, University of Pittsburgh, Pittsburgh, PA (...) 15260; e‐mail: [email protected]. (shrink)

According to the underdetermination thesis, all evidence necessarily underdetermines any scientific theory. Thus it is often argued that our agreement on the content of mature scientific theories must be due to social and other factors. Drawing on a long standing tradition of criticism, I shall argue that the underdetermination thesis is little more than speculation based on an impoverished account of induction. A more careful look at accounts of induction does not support an assured underdetermination or the holism usually associated (...) with it. I also urge that the display of observationally equivalent theories is a self-defeating strategy for supporting the underdetermination thesis. The very fact that observational equivalence can be demonstrated by arguments brief enough to be included in a journal article means that we cannot preclude the possibility that the theories are merely variant formulations of the same theory. (shrink)

In recounting his discovery of special relativity, Einstein recalled a debt to the philosophical writings of Hume and Mach. I review the path Einstein took to special relativity and urge that, at a critical juncture, he was aided decisively not by any specific doctrine of space and time, but by a general account of concepts that Einstein found in Hume and Mach’s writings. That account required that concepts, used to represent the physical, must be properly grounded in experience. In so (...) far as they extended beyond that grounding, they were fictional and to be abjured (Mach) or at best tolerated (Hume). Einstein drew a different moral. These fictional concepts revealed an arbitrariness in our physical theorizing and may still be introduced through freely chosen definitions, as long as these definitions do not commit us to false presumptions. After years of failed efforts to conform electrodynamics to the principle of relativity and with his frustration mounting, Einstein applied this account to the concept of simultaneity. The resulting definition of simultaneity provided the reconceptualization that solved the problem in electrodynamics and led directly to the special theory of relativity. (shrink)

Bayesian probabilistic explication of inductive inference conflates neutrality of supporting evidence for some hypothesis H ("not supporting H") with disfavoring evidence ("supporting not-H"). This expressive inadequacy leads to spurious results that are artifacts of a poor choice of inductive logic. I illustrate how such artifacts have arisen in simple inductive inferences in cosmology. In the inductive disjunctive fallacy, neutral support for many possibilities is spuriously converted into strong support for their disjunction. The Bayesian "doomsday argument" is shown to rely entirely (...) on a similar artifact. Copyright 2010 by the Philosophy of Science Association. All rights reserved. (shrink)

Einstein proclaimed that we could discover true laws of nature by seeking those with the simplest mathematical formulation. He came to this viewpoint later in his life. In his early years and work he was quite hostile to this idea. Einstein did not develop his later Platonism from a priori reasoning or aesthetic considerations. He learned the canon of mathematical simplicity from his own experiences in the discovery of new theories, most importantly, his discovery of general relativity. Through his neglect (...) of the canon, he realised that he delayed the completion of general relativity by three years and nearly lost priority in discovery of its gravitational field equations. (shrink)

Preface: This volume originated in a conference on "The Place of Thought Experiments in Science and Philosophy" which was organized by us and held at the Center for Philosophy of Science at the University of Pittsburgh, April 18-20, 1986. The idea behind this conference was to encourage philosophers and scientists to talk to each other about the role of thought experiments in their various disciplines. These papers were either written for the conference, or were written after it by commentators and (...) other participants.... We hope that this volume will be of use to other philosophers and scientists who are interested in thought experiments, as well as inspire more work in this area.... (shrink)

In a formal theory of induction, inductive inferences are licensed by universal schemas. In a material theory of induction, inductive inferences are licensed by facts. With this change in the conception of the nature of induction, I argue that the celebrated “problem of induction” can no longer be set up and is thereby dissolved. Attempts to recreate the problem in the material theory of induction fail. They require relations of inductive support to conform to an unsustainable, hierarchical empiricism.

Albert Einstein read philosophy. It was not an affectation of a celebrity-physicist trying to show his adoring public that he was no mere technician, but a cultured thinker. It was an interest in evidence from the start. In 1902, Einstein was a poorly paid patent examiner in Bern seeking to make a few extra Francs by offering tutorials in physics. Maurice Solovine answered the advertisement. The tutorials quickly vanished when they discovered their common fascinations in reading and talking. They were (...) soon joined in their raucous meetings by Conrad Habicht, completing what they dubbed their “Olympia Academy.” Their explorations where wide-ranging, devouring texts and sausages with gusto. They read the philosophers and philosophically-minded scientists of the day, including Pearson, Mach, Hill, Hume, Spinoza, Avenarius, Cifford and Poincaré. (shrink)

At the age of sixteen, Einstein imagined chasing after a beam of light. He later recalled that the thought experiment had played a memorable role in his development of special relativity. Famous as it is, it has proven difficult to understand just how the thought experiment delivers its results. It fails to generate problems for an ether-based electrodynamics. I propose that Einstein’s canonical statement of the thought experiment from his 1946 “Autobiographical Notes,” makes most sense not as an argument against (...) ether-based electrodynamics, but as an argument against “emission” theories of light. (shrink)

My purpose in this chapter is to survey some of the principal approaches to inductive inference in the philosophy of science literature. My first concern will be the general principles that underlie the many accounts of induction in this literature. When these accounts are considered in isolation, as is more commonly the case, it is easy to overlook that virtually all accounts depend on one of very few basic principles and that the proliferation of accounts can be understood as efforts (...) to ameliorate the weaknesses of those few principles. In the earlier sections, I will lay out three inductive principles and the families of accounts of induction they engender. In later sections I will review standard problems in the philosophical literature that have supported some pessimism about induction and suggest that their import has been greatly overrated. In the final sections I will return to the proliferation of accounts of induction that frustrates efforts at a final codification. I will suggest that this proliferation appears troublesome only as long as we expect inductive inference to be subsumed under a single formal theory. If we adopt a material theory of induction in which individual inductions are licensed by particular facts that prevail only in local domains, then the proliferation is expected and not problematic. (shrink)

In Norton(2003), it was urged that the world does not conform at a fundamental level to some robust principle of causality. To defend this view, I now argue that the causal notions and principles of modern physics do not express some universal causal principle, brought to light by discoveries in physics. Rather they merely assert that, according to relativity theory, spacetime has an invariant velocity, that of light; and that theories of matter admit no propagations faster than light.

Thought experiments in science are merely picturesque argumentation. I support this view in various ways, including the claim that it follows from the fact that thought experiments can err but can still be used reliably. The view is defended against alternatives proposed by my cosymposiasts.

Norton’s and Myrvold’s recent analyses of fluctuations and Landauer’s principle are compatible.

Contrary to Hume, science has found many ways in which things connect with other things in the world. Causal metaphysics, however, has failed to add anything factual to the relations discovered by science. It is at best an exercise in labeling that may have practical uses.

I am grateful to Peter Achinstein, Don Howard, and the other participants at the conference, 'The Role of Experiments in Scientific Changer', Virginia Polytechnic Institute and State University, 30 March to 1 April, 1990, for helpful discussion, and especially to Ron Laymon for his discussion comments presented at the conference on an earlier version of this paper.

Abstract.Einstein learned from the magnet and conductor thought experiment how to use field transformation laws to extend the covariance of Maxwell’s electrodynamics. If he persisted in his use of this device, he would have found that the theory cleaves into two Galilean covariant parts, each with different field transformation laws. The tension between the two parts reflects a failure not mentioned by Einstein: that the relativity of motion manifested by observables in the magnet and conductor thought experiment does not extend (...) to all observables in electrodynamics. An examination of Ritz’s work shows that Einstein’s early view could not have coincided with Ritz’s on an emission theory of light, but only with that of a conveniently reconstructed Ritz. One Ritz-like emission theory, attributed by Pauli to Ritz, proves to be a natural extension of the Galilean covariant part of Maxwell’s theory that happens also to accommodate the magnet and conductor thought experiment. Einstein’s famous chasing a light beam thought experiment fails as an objection to an ether-based, electrodynamical theory of light. However it would allow Einstein to formulate his general objections to all emission theories of light in a very sharp form. Einstein found two well known experimental results of 18th and 19th century optics compelling (Fizeau’s experiment, stellar aberration), while the accomplished Michelson-Morley experiment played no memorable role. I suggest they owe their importance to their providing a direct experimental grounding for Lorentz‘ local time, the precursor of Einstein’s relativity of simultaneity, and doing it essentially independently of electrodynamical theory. I attribute Einstein’s success to his determination to implement a principle of relativity in electrodynamics, but I urge that we not invest this stubbornness with any mystical prescience. (shrink)

Proponents of Bayesian confirmation theory believe that they have the solution to a significant, recalcitrant problem in philosophy of science. It is the identification of the logic that governs evidence and its inductive bearing in science. That is the logic that lets us say that our catalog of planetary observations strongly confirms Copernicus’ heliocentric hypothesis; or that the fossil record is good evidence for the theory of evolution; or that the 3oK cosmic background radiation supports big bang cosmology. The definitive (...) solution to this problem would be a significant achievement. The problem is of central importance to philosophy of science, for, in the end, what distinguishes science from myth making is that we have good evidence for the content of science, or at least of mature sciences, whereas myths are evidentially ungrounded fictions. The core ideas shared by all versions of Bayesian confirmation theory are, at a good first approximation, that a scientist’s beliefs are or should conform to a probability measure; and that the incorporation of new evidence is through conditionalization using Bayes’ theorem. While the burden of this chapter will be to inventory why critics believe this theory may not be the solution after all, it is worthwhile first to summarize here the most appealing virtues of this simple account. There are three. First, the theory reduces the often nebulous notion of a logic of.. (shrink)

While there is no universal logic of induction, the probability calculus succeeds as a logic of induction in many contexts through its use of several notions concerning inductive inference. They include Addition, through which low probabilities represent disbelief as opposed to ignorance; and Bayes property, which commits the calculus to a ‘refute and rescale’ dynamics for incorporating new evidence. These notions are independent and it is urged that they be employed selectively according to needs of the problem at hand. It (...) is shown that neither is adapted to inductive inference concerning some indeterministic systems. (shrink)

Standard descriptions of thermodynamically reversible processes attribute contradictory properties to them: they are in equilibrium yet still change their state. Or they are comprised of non-equilibrium states that are so close to equilibrium that the difference does not matter. One cannot have states that both change and no not change at the same time. In place of this internally contradictory characterization, the term “thermodynamically reversible process” is here construed as a label for a set of real processes of change involving (...) only non-equilibrium states. The properties usually attributed to a thermodynamically reversible process are recovered as the limiting properties of this set. No single process, that is, no system undergoing change, equilibrium or otherwise, carries those limiting properties. The paper concludes with an historical survey of characterizations of thermodynamically reversible processes and a critical analysis of their shortcomings. (shrink)

The advent of the general theory of relativity was so entirely the work of just one person - Albert Einstein - that we cannot but wonder how long it would have taken without him for the connection between gravitation and spacetime curvature to be discovered. What would have happened if there were no Einstein? Few doubt that a theory much like special relativity would have emerged one way or another from the researchers of Lorentz, Poincaré and others. But where would (...) the problem of relativizing gravitation have led? The saga told here shows how even the most conservative approach to relativizing gravitation theory still did lead out of Minkowski spacetime to connect gravitation to a curved spacetime. Unfortunately we still cannot know if this conclusion would have been drawn rapidly without Einstein's contribution. For what led Nordström to the gravitational field dependence of lengths and times was a very Einsteinian insistence on just the right version of the equality of inertial and gravitational mass. Unceasingly in Nordström's ear was the persistent and uncompromising voice of Einstein himself demanding that Nordström see the most distant consequences of his own theory. © 1992 Springer-Verlag. (shrink)

In eternally inflating cosmology, infinitely many pocket universes are seeded. Attempts to show that universes like our observable universe are probable amongst them have failed, since no unique probability measure is recoverable. This lack of definite probabilities is taken to reveal a complete predictive failure. Inductive inference over the pocket universes, it would seem, is impossible. I argue that this conclusion of impossibility mistakes the nature of the problem. It confuses the case in which no inductive inference is possible, with (...) another in which a weaker inductive logic applies. The alternative, applicable inductive logic is determined by background conditions and is the same, non-probabilistic logic as applies to an infinite lottery. This inductive logic does not preclude all predictions, but does affirm that predictions useful to deciding for or against eternal inflation are precluded. (shrink)

In Leo Szilard’s 1929 thought experiment, a Maxwell demon manipulates a one-molecule gas to reverse the second law of thermodynamics. The demon must fail, Szilard argued, since there is hidden entropy creation in the demon’s collecting of information. This thought experiment is an inconsistent muddle of improper idealizations. It diverted an already successful literature of exorcism into degenerating speculations about about a connection between thermodynamic entropy and information. These confusions persist today in a voluminous literature. Narrative conventions in a thought (...) experiment allow thought experimenters great latitude in deciding which processes are typical and bear generalization and which can be idealized away as incidental. For its abuse of this latitude and the extent of the harm it caused, this thought experiment merits the distinction of the worst thought experiment in science. (shrink)

In the exuberance that followed Einstein’s discoveries, philosophers at one time or another have proposed that his theories support virtually every conceivable moral in ontology. I present an opinionated assessment, designed to avoid this overabundance. We learn from Einstein’s theories of novel entanglements of categories once held distinct: space with time; space and time with matter; and space and time with causality. We do not learn that all is relative, that time in the fourth dimension in any non-trivial sense, that (...) coordinate systems and even geometry are conventional or that spacetime should be reduced ontologically to causal, spatio-temporal or other relations. (shrink)

© 2011 by Oxford University Press. All rights reserved. Results on the observational indistinguishability of spacetimes demonstrate the impossibility of determining by deductive inference which is our spacetime, no matter how extensive a portion of the spacetime is observed. These results do not illustrate an underdetermination of theory by evidence, since they make no decision between competing theories and they make little contact with the inductive considerations that must ground such a decision. Rather, these results express a variety of indeterminism (...) in which a specification of the observable past always fails to fix the remainder of a spacetime. This form of indeterminism is more troubling than the familiar indeterminism of quantum theory. The inductive inferences that can discriminate among the different spacetime extensions of the observed past are here called "opaque," which means that we cannot readily see the warrant that lies behind them. (shrink)

Please imagine a long fuse hanging down from the ceiling. It is a carefully woven tube of fabric that holds a core of gunpowder. We note that it is beautifully made, with brightly colored threads intertwined with the coarser bare cotton. It a masterpiece of the modern weaver's art.